    .section .entry

// This doesn't seem necessary...
//
//// Turn OFF SD Card power
//// to support autostart
//	LDR     R3, =0xC0220018
//	MOV     R2, #0x44
//	STR     R2, [R3]
//	
//// looks like idle cycle is required for proper shutdown
//	MOV     R3, #0x8000
//1:
//	SUB	R3, R3, #1
//	CMP	R3, #0
//	BNE	1b

// ordinary startup...

	MOV     SP, #0x1900
	MOV     R11, #0
	B	my_restart
